COMMENT ⊗   VALID 00002 PAGES
C REC  PAGE   DESCRIPTION
C00001 00001
C00002 00002	.P11:
C00004 ENDMK
C⊗;
.P11:
%1
.BEGIN TABIT1(20);CENTERIT;
.GROUP
.CENT(Problems)
I Evaluate the following:

←%21.%3 eq[X;Y]   %22.%3 cons[X;Y]   %23.%3 car[(X . Y)]   %24.%3 car[cons[X;Y]]

%25.%3 cadr[(X .(Y . NIL))]   \%26.%3 cdar[(X .(Y . NIL))]
.APART

%27.%3 eq[cdr[(A . B)];cdr[(C . B)]]   \%28.%3 atom[cons[(A . B);(C . D)]]

%29.%3 cons[atom[A];atom[(A . B)]]   \%210.%3 eq[atom[ATOM];atom[EQ]]

←%211.%3 [%et%* → A; %et%* → B]   %212.%3 [%ef%* → A; %et%* → B]   %213.%3 [eq[A;B] → 4]

%214.%3 [atom[X] → atom[X]; %et%* → FOO]   \%215.%3 [eq[EQ; X] → A; eq[A; B] → B; %et%* → C]
 

←%216.%3 cons[[eq[A; B] → 1; %et%* → FOO]; cons[A; cadr[(A . (B . C))]]]

%217.%3 equal[(A . B);(A . B)] \%218.%3 eq[(A . B);(A . B)]
.END